//> using options -Ycheck-all-patmat
def foo(x: Int): Unit =
    x match {
      case 1 =>
      case 2 =>
      case 3 =>
      case 4 =>
      case 5 =>
      case 6 =>
      case 7 =>
      case 8 =>
      case 9 =>
      case 10 =>
      case 11 =>
      case 12 =>
      case 13 =>
      case 14 =>
      case 15 =>
      case 16 =>
      case 17 =>
      case 18 =>
      case 19 =>
      case 20 =>
      case 21 =>
      case 22 =>
      case 23 =>
      case 24 =>
      case 25 =>
      case 26 =>
      case 27 =>
      case 28 =>
      case 29 =>
      case 30 =>
      case 31 =>
      case 32 =>
      case 33 =>
      case 34 =>
      case 35 =>
      case 36 =>
      case 37 =>
      case 38 =>
      case 39 =>
      case 40 =>
      case 41 =>
      case 42 =>
      case 43 =>
      case 44 =>
      case 45 =>
      case 46 =>
      case 47 =>
      case 48 =>
      case 49 =>
      case 50 =>
      case 51 =>
      case 52 =>
      case 53 =>
      case 54 =>
      case 55 =>
      case 55 =>
      case 56 =>
      case 57 =>
      case 58 =>
      case 59 =>
      case 60 =>
      case 61 =>
      case 62 =>
      case 63 =>
      case 64 =>
      case 65 =>
      case 66 =>
      case 67 =>
      case 68 =>
      case 69 =>
      case 70 =>
      case 71 =>
      case 72 =>
      case 73 =>
      case 74 =>
      case 75 =>
      case 76 =>
      case 77 =>
      case 78 =>
      case 79 =>
      case 80 =>
      case 81 =>
      case 82 =>
      case 83 =>
      case 84 =>
      case 85 =>
      case 86 =>
      case 87 =>
      case 88 =>
      case 89 =>
      case 90 =>
      case 91 =>
      case 92 =>
      case 93 =>
      case 94 =>
      case 95 =>
      case 96 =>
      case 97 =>
      case 98 =>
      case 99 =>
      case 100 =>
      case 101 =>
      case 102 =>
      case 103 =>
      case 104 =>
      case 105 =>
      case 106 =>
      case 107 =>
      case 108 =>
      case 109 =>
      case 110 =>
      case 111 =>
      case 112 =>
      case 113 =>
      case 114 =>
      case 115 =>
      case 116 =>
      case 117 =>
      case 118 =>
      case 119 =>
      case 120 =>
      case 121 =>
      case 122 =>
      case 123 =>
      case 124 =>
      case 125 =>
      case 126 =>
      case 127 =>
      case 128 =>
      case 129 =>
      case 130 =>
      case 131 =>
      case 132 =>
      case 133 =>
      case 134 =>
      case 135 =>
      case 136 =>
      case 137 =>
      case 138 =>
      case 139 =>
      case 140 =>
      case 141 =>
      case 142 =>
      case 143 =>
      case 144 =>
      case 145 =>
      case 146 =>
      case 147 =>
      case 148 =>
      case 149 =>
      case 150 =>
      case 151 =>
      case 152 =>
      case 153 =>
      case 154 =>
      case 155 =>
      case 156 =>
      case 157 =>
      case 158 =>
      case 159 =>
      case 160 =>
      case 161 =>
      case 162 =>
      case 163 =>
      case 164 =>
      case 165 =>
      case 166 =>
      case 167 =>
      case 168 =>
      case 169 =>
      case 170 =>
      case 171 =>
      case 172 =>
      case 173 =>
      case 174 =>
      case 175 =>
      case 176 =>
      case 177 =>
      case 178 =>
      case 179 =>
      case 180 =>
      case 181 =>
      case 182 =>
      case 183 =>
      case 184 =>
      case 185 =>
      case 186 =>
      case 187 =>
      case 188 =>
      case 189 =>
      case 190 =>
      case 191 =>
      case 192 =>
      case 193 =>
      case 194 =>
      case 195 =>
      case 196 =>
      case 197 =>
      case 198 =>
      case 199 =>
      case 200 =>
      case 201 =>
      case 202 =>
      case 203 =>
      case 204 =>
      case 205 =>
      case 206 =>
      case 207 =>
      case 208 =>
      case 209 =>
      case 210 =>
      case 211 =>
      case 212 =>
      case 213 =>
      case 214 =>
      case 215 =>
      case 216 =>
      case 217 =>
      case 218 =>
      case 219 =>
      case 220 =>
      case 221 =>
      case 222 =>
      case 223 =>
      case 224 =>
      case 225 =>
      case 226 =>
      case 227 =>
      case 228 =>
      case 229 =>
      case 230 =>
      case 231 =>
      case 232 =>
      case 233 =>
      case 234 =>
      case 235 =>
      case 236 =>
      case 237 =>
      case 238 =>
      case 239 =>
      case 240 =>
      case 241 =>
      case 242 =>
      case 243 =>
      case 244 =>
      case 245 =>
      case 246 =>
      case 247 =>
      case 248 =>
      case 249 =>
      case 250 =>
      case 251 =>
      case 252 =>
      case 253 =>
      case 254 =>
      case 255 =>
      case 256 =>
      case 257 =>
      case 258 =>
      case 259 =>
      case 260 =>
      case 261 =>
      case 262 =>
      case 263 =>
      case 264 =>
      case 265 =>
      case 266 =>
      case 267 =>
      case 268 =>
      case 269 =>
      case 270 =>
      case 271 =>
      case 272 =>
      case 273 =>
      case 274 =>
      case 275 =>
      case 276 =>
      case 277 =>
      case 278 =>
      case 279 =>
      case 280 =>
      case 281 =>
      case 282 =>
      case 283 =>
      case 284 =>
      case 285 =>
      case 286 =>
      case 287 =>
      case 288 =>
      case 289 =>
      case 290 =>
      case 291 =>
      case 292 =>
      case 293 =>
      case 294 =>
      case 295 =>
      case 296 =>
      case 297 =>
      case 298 =>
      case 299 =>
      case 300 =>
      case 301 =>
      case 302 =>
      case 303 =>
      case 304 =>
      case 305 =>
      case 306 =>
      case 307 =>
      case 308 =>
      case 309 =>
      case 310 =>
      case 311 =>
      case 312 =>
      case 313 =>
      case 314 =>
      case 315 =>
      case 316 =>
      case 317 =>
      case 318 =>
      case 319 =>
      case 320 =>
      case 321 =>
      case 322 =>
      case 323 =>
      case 324 =>
      case 325 =>
      case 326 =>
      case 327 =>
      case 328 =>
      case 329 =>
      case 330 =>
      case 331 =>
      case 332 =>
      case 333 =>
      case 334 =>
      case 335 =>
      case 336 =>
      case 337 =>
      case 338 =>
      case 339 =>
      case 340 =>
      case 341 =>
      case 342 =>
      case 343 =>
      case 344 =>
      case 345 =>
      case 346 =>
      case 347 =>
      case 348 =>
      case 349 =>
      case 350 =>
      case 351 =>
      case 352 =>
      case 353 =>
      case 354 =>
      case 355 =>
      case 356 =>
      case 357 =>
      case 358 =>
      case 359 =>
      case 360 =>
      case 361 =>
      case 362 =>
      case 363 =>
      case 364 =>
      case 365 =>
      case 366 =>
      case 367 =>
      case 368 =>
      case 369 =>
      case 370 =>
      case 371 =>
      case 372 =>
      case 373 =>
      case 374 =>
      case 375 =>
      case 376 =>
      case 377 =>
      case 378 =>
      case 379 =>
      case 380 =>
      case 381 =>
      case 382 =>
      case 383 =>
      case 384 =>
      case 385 =>
      case 386 =>
      case 387 =>
      case 388 =>
      case 389 =>
      case 390 =>
      case 391 =>
      case 392 =>
      case 393 =>
      case 394 =>
      case 395 =>
      case 396 =>
      case 397 =>
      case 398 =>
      case 399 =>
      case 400 =>
      case 401 =>
      case 402 =>
      case 403 =>
      case 404 =>
      case 405 =>
      case 406 =>
      case 407 =>
      case 408 =>
      case 409 =>
      case 410 =>
      case 411 =>
      case 412 =>
      case 413 =>
      case 414 =>
      case 415 =>
      case 416 =>
      case 417 =>
      case 418 =>
      case 419 =>
      case 420 =>
      case 421 =>
      case 422 =>
      case 423 =>
      case 424 =>
      case 425 =>
      case 426 =>
      case 427 =>
      case 428 =>
      case 429 =>
      case 430 =>
      case 431 =>
      case 432 =>
      case 433 =>
      case 434 =>
      case 435 =>
      case 436 =>
      case 437 =>
      case 438 =>
      case 439 =>
      case 440 =>
      case 441 =>
      case 442 =>
      case 443 =>
      case 444 =>
      case 445 =>
      case 446 =>
      case 447 =>
      case 448 =>
      case 449 =>
      case 450 =>
      case 451 =>
      case 452 =>
      case 453 =>
      case 454 =>
      case 455 =>
      case 456 =>
      case 457 =>
      case 458 =>
      case 459 =>
      case 460 =>
      case 461 =>
      case 462 =>
      case 463 =>
      case 464 =>
      case 465 =>
      case 466 =>
      case 467 =>
      case 468 =>
      case 469 =>
      case 470 =>
      case 471 =>
      case 472 =>
      case 473 =>
      case 474 =>
      case 475 =>
      case 476 =>
      case 477 =>
      case 478 =>
      case 479 =>
      case 480 =>
      case 481 =>
      case 482 =>
      case 483 =>
      case 484 =>
      case 485 =>
      case 486 =>
      case 487 =>
      case 488 =>
      case 489 =>
      case 490 =>
      case 491 =>
      case 492 =>
      case 493 =>
      case 494 =>
      case 495 =>
      case 496 =>
      case 497 =>
      case 498 =>
      case 499 =>
      case 500 =>
      case 501 =>
      case 502 =>
      case 503 =>
      case 504 =>
      case 505 =>
      case 506 =>
      case 507 =>
      case 508 =>
      case 509 =>
      case 510 =>
      case 511 =>
      case 512 =>
      case 513 =>
      case 514 =>
      case 515 =>
      case 516 =>
      case 517 =>
      case 518 =>
      case 519 =>
      case 520 =>
      case 521 =>
      case 522 =>
      case 523 =>
      case 524 =>
      case 525 =>
      case 526 =>
      case 527 =>
      case 528 =>
      case 529 =>
      case 530 =>
      case 531 =>
      case 532 =>
      case 533 =>
      case 534 =>
      case 535 =>
      case 536 =>
      case 537 =>
      case 538 =>
      case 539 =>
      case 540 =>
      case 541 =>
      case 542 =>
      case 543 =>
      case 544 =>
      case 545 =>
      case 546 =>
      case 547 =>
      case 548 =>
      case 549 =>
      case 550 =>
      case 551 =>
      case 552 =>
      case 553 =>
      case 554 =>
      case 555 =>
      case 556 =>
      case 557 =>
      case 558 =>
      case 559 =>
      case 560 =>
      case 561 =>
      case 562 =>
      case 563 =>
      case 564 =>
      case 565 =>
      case 566 =>
      case 567 =>
      case 568 =>
      case 569 =>
      case 570 =>
      case 571 =>
      case 572 =>
      case 573 =>
      case 574 =>
      case 575 =>
      case 576 =>
      case 577 =>
      case 578 =>
      case 579 =>
      case 580 =>
      case 581 =>
      case 582 =>
      case 583 =>
      case 584 =>
      case 585 =>
      case 586 =>
      case 587 =>
      case 588 =>
      case 589 =>
      case 590 =>
      case 591 =>
      case 592 =>
      case 593 =>
      case 594 =>
      case 595 =>
      case 596 =>
      case 597 =>
      case 598 =>
      case 599 =>
      case 600 =>
      case 601 =>
      case 602 =>
      case 603 =>
      case 604 =>
      case 605 =>
      case 606 =>
      case 607 =>
      case 608 =>
      case 609 =>
      case 610 =>
      case 611 =>
      case 612 =>
      case 613 =>
      case 614 =>
      case 615 =>
      case 616 =>
      case 617 =>
      case 618 =>
      case 619 =>
      case 620 =>
      case 621 =>
      case 622 =>
      case 623 =>
      case 624 =>
      case 625 =>
      case 626 =>
      case 627 =>
      case 628 =>
      case 629 =>
      case 630 =>
      case 631 =>
      case 632 =>
      case 633 =>
      case 634 =>
      case 635 =>
      case 636 =>
      case 637 =>
      case 638 =>
      case 639 =>
      case 640 =>
      case 641 =>
      case 642 =>
      case 643 =>
      case 644 =>
      case 645 =>
      case 646 =>
      case 647 =>
      case 648 =>
      case 649 =>
      case 650 =>
      case 651 =>
      case 652 =>
      case 653 =>
      case 654 =>
      case 655 =>
      case 656 =>
      case 657 =>
      case 658 =>
      case 659 =>
      case 660 =>
      case 661 =>
      case 662 =>
      case 663 =>
      case 664 =>
      case 665 =>
      case 666 =>
      case 667 =>
      case 668 =>
      case 669 =>
      case 670 =>
      case 671 =>
      case 672 =>
      case 673 =>
      case 674 =>
      case 675 =>
      case 676 =>
      case 677 =>
      case 678 =>
      case 679 =>
      case 680 =>
      case 681 =>
      case 682 =>
      case 683 =>
      case 684 =>
      case 685 =>
      case 686 =>
      case 687 =>
      case 688 =>
      case 689 =>
      case 690 =>
      case 691 =>
      case 692 =>
      case 693 =>
      case 694 =>
      case 695 =>
      case 696 =>
      case 697 =>
      case 698 =>
      case 699 =>
      case 700 =>
      case 701 =>
      case 702 =>
      case 703 =>
      case 704 =>
      case 705 =>
      case 706 =>
      case 707 =>
      case 708 =>
      case 709 =>
      case 710 =>
      case 711 =>
      case 712 =>
      case 713 =>
      case 714 =>
      case 715 =>
      case 716 =>
      case 717 =>
      case 718 =>
      case 719 =>
      case 720 =>
      case 721 =>
      case 722 =>
      case 723 =>
      case 724 =>
      case 725 =>
      case 726 =>
      case 727 =>
      case 728 =>
      case 729 =>
      case 730 =>
      case 731 =>
      case 732 =>
      case 733 =>
      case 734 =>
      case 735 =>
      case 736 =>
      case 737 =>
      case 738 =>
      case 739 =>
      case 740 =>
      case 741 =>
      case 742 =>
      case 743 =>
      case 744 =>
      case 745 =>
      case 746 =>
      case 747 =>
      case 748 =>
      case 749 =>
      case 750 =>
      case 751 =>
      case 752 =>
      case 753 =>
      case 754 =>
      case 755 =>
      case 756 =>
      case 757 =>
      case 758 =>
      case 759 =>
      case 760 =>
      case 761 =>
      case 762 =>
      case 763 =>
      case 764 =>
      case 765 =>
      case 766 =>
      case 767 =>
      case 768 =>
      case 769 =>
      case 770 =>
      case 771 =>
      case 772 =>
      case 773 =>
      case 774 =>
      case 775 =>
      case 776 =>
      case 777 =>
      case 778 =>
      case 779 =>
      case 780 =>
      case 781 =>
      case 782 =>
      case 783 =>
      case 784 =>
      case 785 =>
      case 786 =>
      case 787 =>
      case 788 =>
      case 789 =>
      case 790 =>
      case 791 =>
      case 792 =>
      case 793 =>
      case 794 =>
      case 795 =>
      case 796 =>
      case 797 =>
      case 798 =>
      case 799 =>
      case 800 =>
      case 801 =>
      case 802 =>
      case 803 =>
      case 804 =>
      case 805 =>
      case 806 =>
      case 807 =>
      case 808 =>
      case 809 =>
      case 810 =>
      case 811 =>
      case 812 =>
      case 813 =>
      case 814 =>
      case 815 =>
      case 816 =>
      case 817 =>
      case 818 =>
      case 819 =>
      case 820 =>
      case 821 =>
      case 822 =>
      case 823 =>
      case 824 =>
      case 825 =>
      case 826 =>
      case 827 =>
      case 828 =>
      case 829 =>
      case 830 =>
      case 831 =>
      case 832 =>
      case 833 =>
      case 834 =>
      case 835 =>
      case 836 =>
      case 837 =>
      case 838 =>
      case 839 =>
      case 840 =>
      case 841 =>
      case 842 =>
      case 843 =>
      case 844 =>
      case 845 =>
      case 846 =>
      case 847 =>
      case 848 =>
      case 849 =>
      case 850 =>
      case 851 =>
      case 852 =>
      case 853 =>
      case 854 =>
      case 855 =>
      case 856 =>
      case 857 =>
      case 858 =>
      case 859 =>
      case 860 =>
      case 861 =>
      case 862 =>
      case 863 =>
      case 864 =>
      case 865 =>
      case 866 =>
      case 867 =>
      case 868 =>
      case 869 =>
      case 870 =>
      case 871 =>
      case 872 =>
      case 873 =>
      case 874 =>
      case 875 =>
      case 876 =>
      case 877 =>
      case 878 =>
      case 879 =>
      case 880 =>
      case 881 =>
      case 882 =>
      case 883 =>
      case 884 =>
      case 885 =>
      case 886 =>
      case 887 =>
      case 888 =>
      case 889 =>
      case 890 =>
      case 891 =>
      case 892 =>
      case 893 =>
      case 894 =>
      case 895 =>
      case 896 =>
      case 897 =>
      case 898 =>
      case 899 =>
      case 900 =>
      case 901 =>
      case 902 =>
      case 903 =>
      case 904 =>
      case 905 =>
      case 906 =>
      case 907 =>
      case 908 =>
      case 909 =>
      case 910 =>
      case 911 =>
      case 912 =>
      case 913 =>
      case 914 =>
      case 915 =>
      case 916 =>
      case 917 =>
      case 918 =>
      case 919 =>
      case 920 =>
      case 921 =>
      case 922 =>
      case 923 =>
      case 924 =>
      case 925 =>
      case 926 =>
      case 927 =>
      case 928 =>
      case 929 =>
      case 930 =>
      case 931 =>
      case 932 =>
      case 933 =>
      case 934 =>
      case 935 =>
      case 936 =>
      case 937 =>
      case 938 =>
      case 939 =>
      case 940 =>
      case 941 =>
      case 942 =>
      case 943 =>
      case 944 =>
      case 945 =>
      case 946 =>
      case 947 =>
      case 948 =>
      case 949 =>
      case 950 =>
      case 951 =>
      case 952 =>
      case 953 =>
      case 954 =>
      case 955 =>
      case 956 =>
      case 957 =>
      case 958 =>
      case 959 =>
      case 960 =>
      case 961 =>
      case 962 =>
      case 963 =>
      case 964 =>
      case 965 =>
      case 966 =>
      case 967 =>
      case 968 =>
      case 969 =>
      case 970 =>
      case 971 =>
      case 972 =>
      case 973 =>
      case 974 =>
      case 975 =>
      case 976 =>
      case 977 =>
      case 978 =>
      case 979 =>
      case 980 =>
      case 981 =>
      case 982 =>
      case 983 =>
      case 984 =>
      case 985 =>
      case 986 =>
      case 987 =>
      case 988 =>
      case 989 =>
      case 990 =>
      case 991 =>
      case 992 =>
      case 993 =>
      case 994 =>
      case 995 =>
      case 996 =>
      case 997 =>
      case 998 =>
      case 999 =>
      case 1000 =>
    }
